document.write('
9.4¢
');